package reasoner;

import utils.exception.CoreReasoningException;
import kb.TBox;
import entities.assertion.Assertion;
import entities.concept.Concept;

public interface GuardedReason {

	public boolean subsumesGuarded(Concept c, Concept d, TBox tb)
			throws CoreReasoningException;

	public boolean logicConsequenceGuarded(Assertion lhs, Assertion rhs, TBox tb)
			throws CoreReasoningException;

}
